home *** CD-ROM | disk | FTP | other *** search
/ Games of Daze / Infomagic - Games of Daze (Summer 1995) (Disc 1 of 2).iso / x2ftp / msdos / lang / prolog19 / member.pro < prev    next >
Encoding:
Text File  |  1986-05-05  |  256 b   |  13 lines
  1. /* Recursive member of list definition. 
  2.  
  3. Ask: Member( X, [a,b,c,d,e,f] ) to get successively all
  4. the members of the given list. */
  5.  
  6.  
  7. member( Y, [Y|_] ).
  8.  
  9. member( B, [_|C] ) :-  member( B, C ).
  10.  
  11.  
  12.  
  13.